Noncommutative Power Series and Formal Lie-algebraic Techniques in Nonlinear Control Theory
نویسندگان
چکیده
In nonlinear control, it is helpful to choose a formalism well suited to computations involving solutions of controlled diierential equations, exponentials of vector elds, and Lie brackets. We show by means of an example |the computation of control variations that give rise to the Legendre-Clebsch condition| how a good choice of formalism , based on expanding diieomorphisms as products of exponentials, can simplify the calculations. We then describe the algebraic structure underlying the formal part of these calculations, showing that it is based on the theory of formal power series, Lie series, the Chen series |introduced in control theory by M. Fliess| and the formula for the dual basis of a Poincar e-Birkhoo-Witt basis arising from a generalized Hall basis of a free Lie algebra.
منابع مشابه
HYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC
Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...
متن کاملLie Algebraic Methods in Nonlinear Control
Lie algebraic method generalize matrix methods and algebraic rank conditions to smooth nonlinear systems. They capture the essence of noncommuting flows and give rise to noncommutative analogues of Taylor expansions. Lie algebraic rank conditions determine controllability, observability, and optimality. Lie algebraic methods are also employed for statespace realization, control design, and path...
متن کاملALGEBRAIC INDEPENDENCE OF CERTAIN FORMAL POWER SERIES (I)
We give a proof of the generalisation of Mendes-France and Van der Poorten's recent result over an arbitrary field of positive characteristic and then by extending a result of Carlitz, we shall introduce a class of algebraically independent series.
متن کاملALGEBRAIC INDEPENENCE OF CERTAIN FORMAL POWER SERIES (II)
We shall extend the results of [5] and prove that if f = Z o a x ? Z [[X]] is algebraic over Q (x), where a = 1, ƒ 1 and if ? , ? ,..., ? are p-adic integers, then 1 ? , ? ,..., ? are linkarly independent over Q if and only if (1+x) ,(1+x) ,…,(1+x) are algebraically independent over Q (x) if and only if f , f ,.., f are algebraically independent over Q (x)
متن کاملTheory of Functions of Noncommuting Variables and Its Applications
Polynomials, rational functions, and formal power series in (free) noncommuting variables were considered in a variety of settings. While usually viewed as formal algebraic objects, they also appeared often as functions by substituting tuples of matrices or operators for the variables. Our point of view is that a function of noncommuting variables is a function defined on tuples of matrices of ...
متن کامل